package scala.examples.tcpoly.calculi.stlc.tests
import scala.examples.tcpoly.binding.frescala._

object TyperTest extends Typer with Application {
  println((for(x <- gensym("x");
       in = Infer[Type]("in");
       _ <- ofT(A(L(TBool, x \\ V(x)), T), in);
       in <- !in) yield in) run)
}